perm filename FILES[S79,JMC] blob sn#525132 filedate 1980-07-19 generic text, type T, neo UTF8
AIQUAL.[S79,JMC]	Comments an AI qual syllabus
ARPA.[S79,JMC]		report
CBCL.PRO[S79,JMC]	Common Business and Military Computer Communication
			 Language
CELLUL.[S79,JMC]	making Fredkin's physics relativistically invariant
CIRCUM.NEW[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
CONSTR.ESS[S79,JMC]	THE COST OF CONSTRUCTION
ELEPHA.[S79,JMC]	THE PROGRAMMING LANGUAGE ELEPHANT
ELEPHA.NOT[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT old draft
ELEPHA.OLD[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT
ENERGY.[S79,JMC]	THE TRUTH ABOUT ENERGY
ENERGY.2[S79,JMC]	THE CASE FOR ENERGY COMPLACENCY OR APATHY
EPISTE.[S79,JMC]	APPROACHING EPISTEMOLOGY FROM ARTIFICIAL INTELLIGENCE
EQUIV.AX[S79,JMC]	Axioms to prove existence of set of equivalence classes
EQUIV.MEM[S79,JMC]	A SIMPLE SET THEORY PROOF IN FOL
EQUIV.PRF[S79,JMC]	existence of set of equivalence classes
EQUIV.TEX[S79,JMC]	a simple set theory proof in FOL
FILES.PRO[S79,JMC]	.s Describing other People's Files
GAS.[S79,JMC]		STATEMENT ON THE GASOLINE SHORTAGE
HIGHER.[S79,JMC]	on higher level programming or specification languages
KK.[S79,JMC]		Ma's Mr. S and Mr. P
KK.PRF[S79,JMC]		Ma's FOL proof of Mr. S and Mr. P
LIBRAR.[S79,JMC]	.cb A PROPOSAL FOR A COMPUTERIZED LIBRARY
LISP.AX[S79,JMC]	lisp axioms from clt?
LISP.DEC[S79,JMC]	declarations for lisp axioms from clt?
LISP.LOR[S79,JMC]	dumping lisp variables in files
MARGAR.[S79,JMC]	memorial remarks on Margaret Young
MEDICI.ESS[S79,JMC]	MEDICINE
META.[S79,JMC]		A PROGRAMME FOR META-EPISTEMOLOGY
MINIMA.OLD[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
NOTES.ESS[S79,JMC]	notes for improving EDUCATION, STYLE and reprint old TS
PROLEG.[S79,JMC]	PROLEGOMENA TO A SCIENTIFIC THEORY OF COMMON SENSE
SOLIT.LSP[S79,JMC]	some solitaire functions
SOLIT.NOT[S79,JMC]	notes for improving solitaire program
TESTIM.[S79,JMC]	testimony on Soviet mail holdups
WILKIN.[S79,JMC]	Comments on draft of Wilkins's thesis
DECKS.LSP[S79,JMC]xxx
ELEPHA.AX[S79,JMC]xxx
ELEPHA.CMD[S79,JMC]xxx
EMMA.[S79,JMC]xxx
EQUIV.CMD[S79,JMC]xxx
ESSAYS.[S79,JMC]xxx
GUNKEL.[S79,JMC]xxx
LES.[S79,JMC]xxx
LOSE.CMD[S79,JMC]xxx
LOSE.PRF[S79,JMC]xxx
PROPOS.[S79,JMC]xxx
VAX.[S79,JMC]xxx
VAX1.[S79,JMC]xxx